Youssef Idris : Regards sur l'art d'un nouvelliste
نویسندگان
چکیده
منابع مشابه
idris-mode: Idris interaction with emacs
This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development environment for Idris programs in emacs. The goal of the ideslave mode is to provide from Idris a structured input and output command processor, which supports all features available in the command line version of the Idris compiler.
متن کاملTool Demonstration: An IDE for Programming and Proving in Idris
Dependently typed programming languages have a rich type system, which enables developers to combine proofs with programs, sometimes even eroding the boundary between the activities of proving and programming. This introduces new challenges for integrated development environments that must support this boundary. Instead of reimplementing large parts of a compiler, such as a type checker and a t...
متن کاملLART: Flexible, Low-Power Building Blocks for Wearable Computers
To ease the implementation of different wearable computers, we developed a low-power processor board (named LART) with a rich set of interfaces. The LART supports dynamic voltage scaling, so performance (and power consumption) can be scaled to match demands: 59-221 MHz, 106-640 mW. High-end wearables can be configured from multiple LARTs operating in parallel; alternatively, FPGA boards can be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Égypte/Monde arabe
سال: 1991
ISSN: 1110-5097,2090-7273
DOI: 10.4000/ema.1184